Tag 'operator = Dr. Parschang Schinzel, Dr. Johann Schinzel Dr. Michael Uhlig'

External: tag info

• Object list
• Name list
• Name histogram
• Key histogram
• Map
• Table creator